Showing 1 - 2 of 2 Results
1.
Model Checking by Edmund M. Clarke Jr., Orna ... ISBN: 9780262032704 List Price: $69.00
2.
Model Checking by Clarke, Edmund M., Jr., Gru... ISBN: 9780262038836 List Price: $75.00